Boolean satisfiability problem

Results: 324



#Item
71Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie

Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:31
72Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2

Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2

Add to Reading List

Source URL: www.genetic-programming.org

Language: English - Date: 2014-07-05 17:14:07
73Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2009-07-21 19:11:23
74Dependency Solving: a Separate Concern in Component Evolution ManagementI Pietro Abatea , Roberto Di Cosmoa,b , Ralf Treinena , Stefano Zacchirolia a Univ Paris Diderot, Sorbonne Paris Cit´

Dependency Solving: a Separate Concern in Component Evolution ManagementI Pietro Abatea , Roberto Di Cosmoa,b , Ralf Treinena , Stefano Zacchirolia a Univ Paris Diderot, Sorbonne Paris Cit´

Add to Reading List

Source URL: upsilon.cc

Language: English - Date: 2015-01-01 06:26:55
75Interconnection Semantics for Keyword Search in XML Sara Cohen∗ Yaron Kanza Technion—Israel Institute of

Interconnection Semantics for Keyword Search in XML Sara Cohen∗ Yaron Kanza Technion—Israel Institute of

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2007-11-04 06:34:23
76On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Florham Park, NJ Ryan Williams†

On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Florham Park, NJ Ryan Williams†

Add to Reading List

Source URL: www.stanford.edu

Language: English - Date: 2009-11-12 23:47:30
77Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,

Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2014-08-13 19:26:58
78R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl

R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl

Add to Reading List

Source URL: faculty.cua.edu

Language: English - Date: 2015-05-26 14:10:44
79Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research

Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2012-08-15 16:20:10
80CCCG 2004, Montreal, Quebec, August 9–11, 2004 Separating points by axis-parallel lines  Gruia C˘alinescu

CCCG 2004, Montreal, Quebec, August 9–11, 2004 Separating points by axis-parallel lines  Gruia C˘alinescu

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2004-08-23 15:27:23